Author: Annabelle McIver
Author's info and books
Information about author Annabelle McIver from several data sources.
AI-generated bio of "Annabelle McIver":
Books Results
Source: The Open Library
Annabelle McIver Books
Books writen by author Annabelle McIver from The Open Library
1Abstraction, refinement and proof for probabilistic systems
By Annabelle McIver and Charles C. Morgan

“Abstraction, refinement and proof for probabilistic systems” Metadata:
- Title: ➤ Abstraction, refinement and proof for probabilistic systems
- Authors: Annabelle McIverCharles C. Morgan
- Language: English
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Abstraction, refinement and proof for probabilistic systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Quantitative Evaluation of Systems
By Annabelle McIver and Andras Horvath

“Quantitative Evaluation of Systems” Metadata:
- Title: ➤ Quantitative Evaluation of Systems
- Authors: Annabelle McIverAndras Horvath
Access and General Info:
- First Year Published: 2018
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Quantitative Evaluation of Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Formal Methods – The Next 30 Years
By Maurice H. ter Beek, Annabelle McIver and José N. Oliveira

“Formal Methods – The Next 30 Years” Metadata:
- Title: ➤ Formal Methods – The Next 30 Years
- Authors: Maurice H. ter BeekAnnabelle McIverJosé N. Oliveira
Access and General Info:
- First Year Published: 2019
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Formal Methods – The Next 30 Years at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4The Science of Quantitative Information Flow
By Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi and Geoffrey Smith

“The Science of Quantitative Information Flow” Metadata:
- Title: ➤ The Science of Quantitative Information Flow
- Authors: ➤ Mário S. AlvimKonstantinos ChatzikokolakisAnnabelle McIverCarroll MorganCatuscia PalamidessiGeoffrey Smith
Access and General Info:
- First Year Published: 2020
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find The Science of Quantitative Information Flow at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.